去年 7 月，Google DeepMind 宣布其 AI 系统在国际数学奥林匹克竞赛（International Mathematical Olympiad, IMO）中取得银牌成绩，这是 AI 首次在这项赛事中达到奖牌水平。当时团队承诺会公布技术细节，如今

google 银牌 alphaproof googlealp 2025-11-13 21:19  2